A Survey of Dynamic Logics
نویسنده
چکیده
Dynamic logic has created a paradigm shift in logic. In this work, we provide a survey of some major dynamic logics: propositional dynamic logic, game logic, dynamic epistemic logic and logic of questions. The unifying idea behind presenting these logics is to observe how the “dynamic” aspect of the logic is represented in each formalism.
منابع مشابه
A Dynamic Logics of Dynamical Systems
We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the state of a system evolves over time. They are important for modeling and understanding many applications, including embedded systems and cyber-physical systems. In discrete dynamical systems, the state evolves in discrete...
متن کاملDynamic Logics of Dynamical Systems
We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the state of a system evolves over time. They are important for modeling and understanding many applications, including embedded systems and cyber-physical systems. In discrete dynamical systems, the state evolves in discrete...
متن کاملA Note on Logics of Ability
This short note will discuss logical frameworks for reasoning about an agent’s ability. We will sketch details of logics of ‘can’, ‘do’, and ‘intention’. This note is not meant to be a complete survey of the relevant literature, but rather a starting point for an investigation in logics that can express what actions agents can perform and what state of affairs they can bring about. We assume fa...
متن کاملTowards Dynamic Probabilistic Logics: A Survey and a Proposal
In this paper, I will briefly survey probabilistic logics and investigate logics of probabilistic epistemic change, conjectures, and discovery of chances by resourcebounded agents in the sense of the limitation of the available data and its temporal instability, called dynamic probabilistic logic (DPrL), based on probabilistic dynamic logics and probabilistic Kripke systems, of which equivalenc...
متن کاملLogics of Time and Action
We present an introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how processes change their environments. We begin by introducing the historical development of temporal and dynamic logic, starting with the seminal work of Prior. This leads to a discussion of the use of temporal and dynamic logic in computer science. We describe ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012